Notation of ADT
An example